PULP_LIB_NAME_rt = rttiny

CONFIG_SCHED_ENABLED=1
CONFIG_ALLOC_ENABLED=1

CONFIG_PADS_ENABLED=1

CONFIG_UART_ENABLED=1

CONFIG_IO_ENABLED=1
